搜索包含 Karlgren Bernhard 著的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Karlgren Bernhard 著的图书(共149本)

	Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino 0 索取号：作者：Beckert、 Bernhard.、H盲hnle、 Reiner.、Schmitt、 Peter H.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers 0 索取号：作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Sediment Dynamics and Pollutant Mobility in Rivers [electronic resource] : An Interdisciplinary Approach 0 索取号：作者：Westrich、 Bernhard.、F枚rstner、 Ulrich.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Business Success in China [electronic resource] 0 索取号：作者：Hofer、 Markus B.、Ebel、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Andrology for the Clinician [electronic resource] 0 索取号：作者：Schill、 Wolf-Bernhard.、Comhaire、 Frank.、Hargreave、 Timothy B.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Architecture of Computing Systems - ARCS 2006 [electronic resource] : 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings 0 索取号：作者：Grass、 Werner.、Sick、 Bernhard.、Waldschmidt、 Klaus.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Formal Concept Analysis [electronic resource] : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings 0 索取号：作者：Ganter、 Bernhard.、Godin、 Robert.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Spatial Cognition IV. Reasoning, Action, Interaction [electronic resource] : International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers 0 索取号：作者：Freksa、 Christian.、Knauff、 Markus.、Krieg-Br眉ckner、 Bernd.、Nebel、 Bernhard.、Barkowsky、 Thomas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Formal Concept Analysis [electronic resource] : Foundations and Applications 0 索取号：作者：Ganter、 Bernhard.、Stumme、 Gerd.、Wille、 Rudolf.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Inductive Logic Programming [electronic resource] : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings 0 索取号：作者：Kramer、 Stefan.、Pfahringer、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings 0 索取号：作者：Beckert、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Frontiers of Combining Systems [electronic resource] : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings 0 索取号：作者：Gramlich、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Graph-Theoretic Concepts in Computer Science [electronic resource] : 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers 0 索取号：作者：Hromkovi膷、 Juraj.、Nagl、 Manfred.、Westfechtel、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Handbook of Atopic Eczema [electronic resource] 0 索取号：作者：Ring、 Johannes.、Przybilla、 Bernhard.、Ruzicka、 Thomas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Combinatorial Optimization [electronic resource] : Theory and Algorithms 0 索取号：作者：Korte、 Bernhard.、Vygen、 Jens.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Essential NMR [electronic resource] : for Scientists and Engineers 0 索取号：作者：Bl眉mich、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

	Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino 0 索取号：作者：Beckert、 Bernhard.、H盲hnle、 Reiner.、Schmitt、 Peter H.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers 0 索取号：作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Sediment Dynamics and Pollutant Mobility in Rivers [electronic resource] : An Interdisciplinary Approach 0 索取号：作者：Westrich、 Bernhard.、F枚rstner、 Ulrich.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Business Success in China [electronic resource] 0 索取号：作者：Hofer、 Markus B.、Ebel、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Andrology for the Clinician [electronic resource] 0 索取号：作者：Schill、 Wolf-Bernhard.、Comhaire、 Frank.、Hargreave、 Timothy B.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Architecture of Computing Systems - ARCS 2006 [electronic resource] : 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings 0 索取号：作者：Grass、 Werner.、Sick、 Bernhard.、Waldschmidt、 Klaus.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Formal Concept Analysis [electronic resource] : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings 0 索取号：作者：Ganter、 Bernhard.、Godin、 Robert.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Spatial Cognition IV. Reasoning, Action, Interaction [electronic resource] : International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers 0 索取号：作者：Freksa、 Christian.、Knauff、 Markus.、Krieg-Br眉ckner、 Bernd.、Nebel、 Bernhard.、Barkowsky、 Thomas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Formal Concept Analysis [electronic resource] : Foundations and Applications 0 索取号：作者：Ganter、 Bernhard.、Stumme、 Gerd.、Wille、 Rudolf.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Inductive Logic Programming [electronic resource] : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings 0 索取号：作者：Kramer、 Stefan.、Pfahringer、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings 0 索取号：作者：Beckert、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Frontiers of Combining Systems [electronic resource] : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings 0 索取号：作者：Gramlich、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Graph-Theoretic Concepts in Computer Science [electronic resource] : 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers 0 索取号：作者：Hromkovi膷、 Juraj.、Nagl、 Manfred.、Westfechtel、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Handbook of Atopic Eczema [electronic resource] 0 索取号：作者：Ring、 Johannes.、Przybilla、 Bernhard.、Ruzicka、 Thomas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Combinatorial Optimization [electronic resource] : Theory and Algorithms 0 索取号：作者：Korte、 Bernhard.、Vygen、 Jens.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Essential NMR [electronic resource] : for Scientists and Engineers 0 索取号：作者：Bl眉mich、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.